Dale Miller - PDFSEARCH.IO - Document Search Engine

Dale Miller
Results: 57

#	Item
21	Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-08-02 03:39:16
22	A game semantics for proof search: Preliminary results 1 Dale Miller and Alexis Saurin 2 ´ INRIA-Futurs and Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-05-01 17:35:03
23	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
24	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
25	UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:28
26	A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-05-29 10:26:59
27	Report on CSL-LICS 2014 from the Program Committee Chairs Thomas Henzinger (IST, Austria) and Dale Miller (INRIA, France) Vienna, July 2014 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-07-23 09:38:07 Logic in computer science IEEE Symposium on Logic in Computer Science Kleene award Association for Computing Machinery Federated Logic Conference ACM SIGACT Theoretical computer science Computer science Applied mathematics
28	THE BLENDED VALUE GLOSSARY Authors: Elizabeth Bibb, Michelle Fishberg, Jacob Harold, and Erin Layburn Faculty Advisor: Dr. Dale Miller, Stanford Graduate School of Business Add to Reading List Source URL: www.blendedvalue.org Language: English - Date: 2012-05-30 17:53:51 Social responsibility Economics Social enterprise Social economy Sustainability Social return on investment Social venture capital Corporate social responsibility Double bottom line Business Finance Business ethics
29	Combining generic judgments with recursive definitions Andrew Gacek Department of CS&E University of Minnesota Dale Miller Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:04 Model theory Proof theory Metalogic Automated theorem proving Deduction Admissible rule Entailment Symbol Sequent calculus Logic Mathematics Mathematical logic
30	Appeal decision Date: 16 December 2013 Code of racing: Thoroughbred Appeal panel: Mr B Miller (chair), Mr P James and Mr N Thomson. Appearances: Jockey Dale Evans appeared on his own behalf. Add to Reading List Source URL: www.nprsr.qld.gov.au Language: English - Date: 2013-12-23 00:02:28 Lawsuits Legal procedure Law Appeal Appellate review

UPDATE